6281. Verification, Model Checking, and Abstract Interpretation
Author: / Barbara Jobstmann, K. Rustan M. Leino
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6282. Verification, Model Checking, and Abstract Interpretation :
Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
6283. Verification, Model Checking, and Abstract Interpretation
Author: / Souza, Akash Lal, Kim Guldstrand LarsenبDeepak D
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6284. Verification, Model Checking, and Abstract Interpretation
Author: / Gilles Barthe, Manuel Hermenegildo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6285. Verification, Model Checking, and Abstract Interpretation
Author: / Ranjit Jhala, David Schmidt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6286. Verification, Model Checking, and Abstract Interpretation
Author: / Viktor Kuncak, Andrey Rybalchenko
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6287. Verification and Validation of Real-Time Software
Author: edited by William J. Quirk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
54
E358
1985
6288. Verification and validation in systems engineering
Author: / Mourad Debbabi ... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Systems engineering,Expert systems (Computer science) -- Verification,Expert systems (Computer science) -- Validation,UML (Computer science),SysML (Computer science)
Classification :
QA
76
.
76
.
E95
V47
2010
6289. Verification and validation in systems engineering
Author: / Mourad Debbabi ... [et al.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Systems engineering.,Expert systems (Computer science)--Verification,Expert systems (Computer science)--Validation,UML (Computer science),SysML (Computer science),Systementwicklung--swd,UML--swd,SysML--swd,Software Engineering--swd,Softwaremetrie--swd,Programmanalyse--swd,Verifikation--swd,Validierung--swd,Leistungsbewertung--swd
Classification :
QA
,
76
.
76
,.
E95
,
V47
,
2010
6290. Verification and validation in systems engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;
6291. Verified Software: Theories, Tools, Experiments
Author: / Hearn, Sriram K. RajamaniبGary T. Leavens, Peter O
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6292. Verified software
Author: \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامهنویسی ,مهندسی نرم افزار
Classification :
QA
76
.
V4
2016
E-Book
,
6293. Vernetzte und komplexe Informatik-Systeme :
Author: herausgegeben von Bernd E. Wolfinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
5
H473
1988
6294. Version Control with Git : Powerful tools and techniques for collaborative software development
Author: / Loeliger, Jon
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6295. Version Control with Git: Powerful tools and techniques for collaborative software development
Author: / Jon Loeliger, Matthew McCullough
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6296. Versionskontrolle mit Git
Author: / Loeliger, Jon
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
6297. Vibrational Properties of Defective Oxides and 2D Nanolattices
Author: / Emilio Scalise
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: FILMS& ELECTRONIC|MATERIALS SCIENCE, COATINGS & ENGINEERING (uncategorised)|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE
Classification :
E-BOOK
6298. Vibrations and Stability of Complex Beam Systems
Author: / Vladimir Stojanovi, Predrag Kozi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
Classification :
E-BOOK
6299. Video Data Compression for Multimedia Computing
Author: edited by Hua Harry Li, Shan Sun, Haluk Derin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Computer vision.,Multimedia systems.
6300. Video Game Optimization
Author: / Safdarzadeh, Arzhange
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
